теория моделей

model theory

Русско-английский политехнический словарь. . 2011.

Смотреть что такое "теория моделей" в других словарях:

  • Теория моделей — Теория моделей  раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория …   Википедия

  • НЕКЛАССИЧЕСКАЯ ТЕОРИЯ МОДЕЛЕЙ — теория моделей, отличающаяся от классической тем, что либо формальный язык, с к рым она имеет дело, отличен от языка первого порядка либо логика, лежащая в ее основе, отлична от классической (двузначной). В дальнейшем, если не оговорено противное …   Математическая энциклопедия

  • Моделей теория — Теория моделей  это раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория… …   Википедия

  • МОДЕЛЕЙ ТЕОРИЯ —     МОДЕЛЕЙ ТЕОРИЯ раздел математической логики, изучающий модели формальных теорий, соотношения между моделями и теориями и преобразования моделей. Предшественниками теории моделей были Б. Больцано и Э. Шредер, осознавшие понятие выполнимости… …   Философская энциклопедия

  • моделей теория —         МОДЕЛЕЙ ТЕОРИЯ раздел математической логики, в котором изучаются фундаментальные связи между синтаксическими свойствами предложений формального языка и семантическими свойствами их моделей.         Наиболее развитой является М. т. формул… …   Энциклопедия эпистемологии и философии науки

  • МОДЕЛЕЙ ТЕОРИЯ — раздел математической логики, изучающий математические модели. Начало М. т. относится к 30 м гг. 20 в., когда были доказаны следующие две основные теоремы. Теорема 1 (теорема Гёделя Мальцева). Если каждая конечная подсовокупность совокупности… …   Математическая энциклопедия

  • ТЕОРИЯ — (от греч. theoria рассмотрение, исследование) совокупность высказываний, замкнутых относительно логического следования. Такое предельно общее и наиболее абстрактное определение Т. дает логика. С логической т.зр. теорией можно назвать любое… …   Философская энциклопедия

  • ТЕОРИЯ ПОЗНАНИЯ — Гносеология (от греч. gno sis знание, logos слово, понятие), Эпистемолог и я (от греч. episteme знание) раздел философии, исследующий природу человеческого познания, его источники и предпосылки, отношение знания к предмету познания, условия… …   Философская энциклопедия

  • Теория «Смысл ↔ Текст» — теория языка, созданная И. А. Мельчуком и представляющая его как многоуровневую модель преобразований смысла в текст и обратно (модель «Смысл ↔ Текст»); отличительной особенностью этой теории является также использование синтаксиса зависимостей и …   Википедия

  • Теория струн — Теория суперструн Теория …   Википедия

  • теория —         ТЕОРИЯ В широком смысле комплекс взглядов, представлений, идей, направленных на истолкование и объяснение какого либо явления; в более узком и специальном смысле высшая, самая развитая форма организации научного знания, дающая целостное… …   Энциклопедия эпистемологии и философии науки

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.